home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 5 / Apprentice-Release5.iso / Source Code / C / Applications / Moscow ML 1.31 / source code / README < prev   
Encoding:
Text File  |  1996-07-01  |  4.5 KB  |  101 lines  |  [TEXT/R*ch]
  1. This is file README for Moscow ML 1.31 for Linux (15 October 1995)
  2.  
  3. EXTENT OF THE IMPLEMENTATION
  4.  
  5. The current version 1.31 of Moscow ML
  6.     * implements the entire Standard ML Core language
  7.     * implements separate compilation and a limited version of the
  8.       Standard ML Modules language, with signatures and structures
  9.       but no functors
  10.     * can produce compact stand-alone executables (as can Caml Light)
  11.     * includes several new libraries and a new type `char'
  12.     * supports quotations and antiquotations, useful for metaprogramming
  13.     * includes several new libraries and a new type `char'
  14.     * implements parts of the new SML Standard Library, but
  15.       not yet the I/O library
  16.  
  17. New in version 1.31:
  18.     * installable pretty-printers
  19.  
  20. SYSTEM REQUIREMENTS
  21.  
  22. Moscow ML was compiled under Linux 1.2.5 with gcc 2.4.5, and requires
  23. 2 MB of RAM or more.  The installation requires 1.5 MB disk space.
  24.  
  25. LIST OF FILES
  26.  
  27. Executables and bytecode files:
  28.     bin/*               Moscow ML top-level system and batch compiler
  29.     lib/*        Bytecode files and standard libraries
  30.     tools/*          Tools to infer unit inter-dependencies
  31.  
  32. Documentation files:
  33.     install.txt         Installation instructions for Linux
  34.     README        This file
  35.     doc/manual.dvi      User manual (DVI format)
  36.     doc/mosmlref.dvi    A compact guide to Moscow ML syntax and primitives
  37.     copyrght/*        Copyright notices (for Caml Light, SML/NJ, ...)
  38.  
  39. AUTHOR AND CREDITS
  40.  
  41. Moscow ML was written by
  42.     Sergei Romanenko (sergei-romanenko@refal.msk.su)
  43.     Keldysh Institute of Applied Mathematics, Russian Academy of Sciences
  44.     Miusskaya Pl. 4, 125047 Moscow, Russia.
  45. and Peter Sestoft (sestoft@dina.kvl.dk),
  46.     Department of Mathematics and Physics, Royal Veterinary and
  47.     Agricultural University, Thorvaldsensvej 40, DK-1871 Frederiksberg C, 
  48.     Denmark.  Most work was done at the Technical University of Denmark, 
  49.     and while visiting AT&T Bell Laboratories, New Jersey, USA.
  50.  
  51. Moscow ML is based on, and would not exist without:
  52.     * the CAML Light implementation by Xavier Leroy and Damien Doligez
  53.       (INRIA, Rocquencourt, France); especially the Caml Light bytecode
  54.       generator and the runtime system;
  55.     * the ML Kit by Lars Birkedal, Nick Rothwell, Mads Tofte and David Turner
  56.       (Copenhagen University, Denmark, and Edinburgh University, Scotland).
  57.  
  58. COPYRIGHT NOTICE FOR MOSCOW ML
  59.  
  60.     Moscow ML - a lightweight implementation of Core Standard ML.
  61.     Copyright (C) 1994, 1995 Sergei Romanenko, Moscow, Russia
  62.                              and Peter Sestoft, Copenhagen, Denmark.
  63.  
  64.     This program is freE        raro, witas 
  65. nhaylhcclhcco:
  66.     b94, 1995 Sergei R  uthe DeML Kit 871  4e
  67.       generator and the runtime system;
  68.     * the ML Kit by Lars Birkedal, Nick Rothwell, Mads Tofte ow MLandtaoPP4   and Petec=JUg
  69. oc/mcdkedaC) 14gs#sml/README100644    413      1       10772  6040475116  11540 0ustar  sestoftbinThis is file README for Moscow ML 1.31 for Linux (15 October 1995)
  70.  
  71. EXTENT OF THE IMPLEMENTATION
  72.  
  73. The current version 1.31 of Moscow ML
  74.     * implements the entire Standard ML Core language
  75.     * implements separate compilation and a limited version of the
  76.       Standard ML Modules language, with signatures and structures
  77.       but no functors
  78.     * can produce compact stand-alone executables (as can Caml Light)
  79.     * includes several new libraries and a new type `char'
  80.     * supports quotations and antiquotations, useful for metaprogramming
  81.     * includes several new libraries and a new type `char'
  82.     * implements parts of the new SML Standard Library, but
  83.       not yet the I/O library
  84.  
  85. New in version 1.31:
  86.     * installable pretty-printers
  87.  
  88. SYSTEM REQUIREMENTS
  89.  
  90. Moscow ML was compiled under Linux 1.2.5 with gcc 2.4.5, and requires
  91. 2 MB of RAM or more.  The installation requires 1.5 MB disk space.
  92.  
  93. LIST OF FILES
  94.  
  95. Executables and bytecode files:
  96.     bin/*               Moscow ML top-level system and batch compiler
  97.     lib/*        Bytecode files and standard libraries
  98.     tools/*          Tools to infer unit inter-dependencies
  99.  
  100. Documentation files:
  101.     install.txt